Reuse Contracts: Making Systematic Reuse a Standard Practice
نویسندگان
چکیده
While object-orientation has had a large impact on the popularisation of reuse, reuse in OO is mostly ad hoc and thus lessons can be learned from the work on systematic reuse. On the other hand, the emphasis of object-orientation on iterative development can help in reducing the large up-front investments that are typically associated with systematic reuse. We claim that systematic reuse needs to be reconciled with iterative development in order to make reuse a standard practice. Such a reuse methodology must emphasise the co-operation between asset providers and asset reusers to control how assets reused, how assets reused and how changes propagate from assets to applications during iterative development. We propose reuse contracts as the basis for such a methodology.
منابع مشابه
Reuse Contracts: Connecting Bottom-Up and Top-Down Reuse
Whereas most object-oriented technologies traditionally achieve reuse in a bottom-up fashion, the research areas of architectures and domain analysis advocate a top-down approach to achieve systematic reuse. Practice shows that a combination of both is often desired or needed. The reuse contracts model can provide such a combination and can make the connection between object technology, archite...
متن کاملA Basic Formalism for Systematic Software Evolution
In this extended abstract, we present reuse contracts as a simple but powerful formalism for dealing with software evolution in a systematic way.
متن کاملManaging Change When Proving Software Correct
We propose a new and systematic framework for proof reuse in the context of deductive software verification. The framework generalizes abstract contracts into incremental proof repositories. Abstract contracts enable a separation of concerns between called methods and their implementations, facilitating proof reuse. Proof repositories allow the systematic caching of partial proofs that can be a...
متن کاملMarko Forsell Improving Component Reuse in Software Development
Forsell, Marko Improving Component Reuse in Software Development / Marko Forsell Jyväskylä: University of Jyväskylä, 2002, 167 pages (Jyväskylä Studies in Computing ISSN 1456-5390;16) ISBN 951-39-1217-5 Finnish summary Diss. This study concerns reuse in the software development process. The focus is in the reuse of components when creating new software. The aim is to improve current software pr...
متن کاملAggrandizing the beast's limbs: patulous code reuse attack on ARM architecture
Since smartphones are usually personal devices full of private information, they are a popular target for a vast variety of real-world attacks such as Code Reuse Attack (CRA). CRAs enable attackers to execute any arbitrary algorithm on a device without injecting an executable code. Since the standard platform for mobile devices is ARM architecture, we concentrate on available ARM-based CRAs. Cu...
متن کامل